package br.usp.vts;

import com.google.java.contract.Requires;

public class Dunha {

		public Dunha(){
			
		}
		
		@Requires({
			"a > 0",
			"a < 190756355",
			"b == a"
		})
		public final int teste(int a, int b){
			return 5;
		}
}
